We present a variant of ATL with incomplete information which includes the distributed knowledge operators corresponding to synchronous action and perfect recall. The cooperation modalities assume the use the distributed knowledge of coalitions and accordingly refer to perfect recall incomplete information strategies. We propose a model-checking algorithm for the logic. It is based on techniques for games with imperfect information and partially observable objectives, and involves deciding emptiness for automata on infinite trees. We also propose an axiomatic system and prove (...) its completeness for a rather expressive subset. As for the constructs left outside this completely axiomatised subset, we present axioms by which they can be defined in the subset on the class of models in which every state has finitely many successors and give a complete axiomatisation for a “flat” subset of the logic with these constructs included. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

The Spirit of Montesquieu’s Persian Letters explores Montesquieu’s careful treatment of the spiritual, ethical, and civic dilemmas France encountered in the early 18th Century. In examining Montesquieu’s response to Bourbon France’s commercial and political culture of this time, it will help deepen our understanding of his political philosophy.

At the beginning of Book 9 of the Politeia (571cd), Platon suggests that all people bear in themselves unlawful desires like the desire to have sex with their own mother or with any other human, god, or beast, the desire to murder anyone, or the desire to eat anything. Modern scholars take it for granted that by the desire to eat anything, Platon means cannibalism. This view is based on the fact that Platon discusses unlawful desires in connection with the (...) tyrannical man and that the tyrant is, elsewhere in the Politeia, twice connected with anthropophagy (at 8.565d–566a and 10.619c). This paper challenges this communis opinio and argues that we have no reason to assume that at Politeia 9.571d Platon claims that every one of us has the hidden desire to consume human flesh. Also, the alleged cannibalism of the Platonic tyrant is questioned. A close reading of the passages 8.565d–566a and 10.619c reveals that in the depiction of the tyrant Platon makes use of mythological motifs and literary topoi but never literally claims that the tyrant has cannibalistic desires. (shrink)

In archaic societies myths were believed to tell true stories - stories about the ultimate origin of reality. For us, on the contrary, the term 'myth' denotes a false belief. Between the archaic notion of myth and ours stands Plato's. This volume is a collection of ten studies by eminent scholars that focus on the ways in which some of Plato's most famous myths are interwoven with his philosophy. The myths discussed include the eschatological myths of the Gorgias, the Phaedo, (...) the Republic and Laws 10, the central myths of the Phaedrus and the Statesman, and the so-called myth of the Noble Lie from the Republic. The mythical character of the Timaeus cosmology is also amply discussed. The volume also contains seventeen rare Renaissance illustrations of Platonic myths. The contributors argue that in Plato myth and philosophy are tightly bound together, despite Plato's occasional claim that they are opposed modes of discourse. (shrink)

The author proposes in this practical guide for both problem and non-problem gamblers a new pragmatic, conceptual approach of gambling mathematics. The primary aim of this guide is the adequate understanding of the essence and complexity of gambling through its mathematical dimension. The author starts from the premise that formal gambling mathematics, which is hardly even digestible for the non-math-inclined gamblers, is ineffective alone in correcting the specific cognitive distortions associated with gambling. By applying the latest research results in this (...) field, the author blends the gambling-mathematics concepts with the epistemology of applied mathematics and cognitive psychology for providing gamblers the knowledge required for rational and safe gambling. (shrink)

Research on interdisciplinarity has been concentrated on the methodological and educational aspects of this complex phenomenon and less on its theoretical nature. Within a theoretical framework specific to the philosophy of science, I propose a structural scheme of how interdisciplinary processes go, focusing on the concepts of availability of the methods, concept linking, and theoretical modeling. In this model, the challenges interdisciplinarity is claimed to pose to its practitioners are of the same nature as the challenges scientists encounter within the (...) evolution of their own disciplines. (shrink)

Annotation Based on the research he undertook in rare book collections housed in Scotland, the United States, Finland, Iceland, Holland, Germany and Austria, the author presents a systematic history of cannabalism as reflected in the mirror of philosophy.

This paper seeks to develop a phenomenological account of the disorientation of grief, specifically the relationship between disorientation and the breakdown in practical self-understanding at the heart of grief. I argue that this breakdown cannot be sufficiently understood as a breakdown of formerly shared practices and habitual patterns of navigating lived-in space that leaves the bereaved individual at a loss as to how to go on. Examining the experience of losing a loved person and a loved person-to-be, I instead propose (...) that this breakdown should be understood primarily in relation to a distinctive kind of futurity operative in disorientation,irrespectiveof the extent to which there is a breakdown of formerly shared practices and habitual patterns of navigating lived-in space. Drawing on the resources afforded by Heidegger’s phenomenology, I argue that it is acore characteristicof the experience of disorientation in grief that the grieving person can no longer meaningfully press ahead into aspecific futural self. This view comes with certain advantages over existing accounts of the temporality of grief for making sense of the disorientated relationship to futurity, which the appeal to Heideggerian resources makes possible. (shrink)

The article starts off with some meditations on the question of the much-debated “non-translatibility of German philosophy”, which, in the particular case of Martin Heidegger, proves to be even more acute. Nevertheless, the conclusion of these thoughts is that, on the contrary, a translation of a philosophical text is meant finally not only to mediate between two languages, but also to be for itself a necessary step in a more profound understanding of an original text. Following this logic, the article (...) presents in details the decisions taken by the Romanian translators in rendering the concept most difficult to translate from Being and Time: Bewandtnis. (shrink)

The article starts off with some meditations on the question of the much-debated “non-translatibility of German philosophy”, which, in the particular case of Martin Heidegger, proves to be even more acute. Nevertheless, the conclusion of these thoughts is that, on the contrary, a translation of a philosophical text is meant finally not only to mediate between two languages, but also to be for itself a necessary step in a more profound understanding of an original text. Following this logic, the article (...) presents in details the decisions taken by the Romanian translators in rendering the concept most difficult to translate from Being and Time: Bewandtnis. (shrink)

This paper seeks to develop a phenomenological account of the disorientation of grief, specifically the relationship between disorientation and the breakdown in practical self-understanding at the heart of grief. I argue that this breakdown cannot be sufficiently understood as a breakdown of formerly shared practices and habitual patterns of navigating lived-in space that leaves the bereaved individual at a loss as to how to go on. Examining the experience of losing a loved person and a loved person-to-be, I instead propose (...) that this breakdown should be understood primarily in relation to a distinctive kind of futurity operative in disorientation, irrespective of the extent to which there is a breakdown of formerly shared practices and habitual patterns of navigating lived-in space. Drawing on the resources afforded by Heidegger’s phenomenology, I argue that it is a core characteristic of the experience of disorientation in grief that the grieving person can no longer meaningfully press ahead into a specific futural self. This view comes with certain advantages over existing accounts of the temporality of grief for making sense of the disorientated relationship to futurity, which the appeal to Heideggerian resources makes possible. (shrink)

The article addresses the necessity of increasing the role of mathematics in the psychological intervention in problem gambling, including cognitive therapies. It also calls for interdisciplinary research with the direct contribution of mathematics. The current contributions and limitations of the role of mathematics are analysed with an eye toward the professional profiles of the researchers. An enhanced collaboration between these two disciplines is suggested and predicted.

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural analysis of (...) the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

In light of the observations and research design presented in the previous reports, the current technical report is focused on the relationship between the quality and specificity of the content of the gambling sites and the site’s SEO and marketing policy. This relationship is dependent upon the category of the gambling site and the difference in content quality, and the degree to which the mathematical dimension of gambling is reflected in this content is explained by this dependence.

Slot machines gained a high popularity despite a specific element that could limit their appeal: non-transparency with respect to mathematical parameters. The PAR sheets, exposing the parameters of the design of slot machines and probabilities associated with the winning combinations are kept secret by game producers, and the lack of data regarding the configuration of a machine prevents people from computing probabilities and other mathematical indicators. In this article, I argue that there is no rational justification for this secrecy by (...) giving two reasons, one psychological and the other mathematical. For the latter, I show that mathematics provides us with some statistical methods of retrieving the missing data, which are essential for the numerical probability computations in slots. The slots case raises the problem of the exposure of the parametric configuration and mathematical facts of any game of chance as an ethical obligation. (shrink)

Interview with Constantine Sigov, dedicated to the history of the "European Dictionary of Philosophies": from the emergence of an idea in the early 90's in France until the accomplishment of the Ukrainian edition in 2019.

Le courant de pensée qui s’intitule Radical Orthodoxy propose une généalogie de ce qu’elle juge la dérive du subjectivisme moderne en faisant référence à son enracinement théologique, et notamment dans les modalités franciscaines et jésuites du volontarisme. Ce qui donne l’occasion de repenser ici non d’abord le symptôme d’une angoisse face à la croissance de la vérité pratique et spéculative dont certains cherchent à se préserver en vain, mais surtout la question du rapport à l’autorité dans le contexte d’une appréciation (...) nouvelle de la différence reçue entre autonomie et autosuffisance. (shrink)

Modern societies are characterized by a division of epistemic labor between laypeople and epistemic authorities. Authorities are often far more competent than laypeople and can thus, ideally, inform their beliefs. But how should laypeople rationally respond to an authority’s beliefs if they already have beliefs and reasons of their own concerning some subject matter? According to the standard view, the beliefs of epistemic authorities are just further, albeit weighty, pieces of evidence. In contrast, the Preemption View claims that, when one (...) discovers what an authority believes, it is not permissible to rely on any of one’s own reasons concerning the subject matter. The original version of this view, as proposed by Linda Zagzebski, has recently been severely criticized for recommending blind trust and for abandoning even minimal standards for critical thinking. In our paper, we defend a new version of the Preemption View—Defeatist Preemptionism—in a way that differs radically from Zagzebski’s. We argue that our view can be derived from certain widely accepted general epistemic principles. In particular, we claim that preemption can be identified as a special case of source sensitive defeat. Moreover, we argue that Defeatist Preemptionism does not lead to the undesirable consequences that critics ascribe to the Preemption View. The paper thus articulates the foundations and refinements of the Preemption View, such that it adequately captures the phenomenon of epistemic authority and the rational requirements related to it. (shrink)

The current study evaluates qualitatively how the mathematical dimension of gambling is reflected in the content of gambling websites. A number of gambling websites have been reviewed for their content in that respect. A statistical analysis recorded the presence of the mathematical dimension of gambling and its forms in the content of the participating websites, and a qualitative research study analyzed and assessed the quality of the content with respect to that dimension. The technical reports associated with this study describe (...) the methods used in the processes of review and content analysis, details of the processes, and the specific challenges and difficulties that they posed. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

The current technical report presents the partial results of the quantitative analysis of the research project, after the review of 247 gambling websites. It is focused on and discusses the usage of the math terms specific to gambling in the reviewed sample. In particular, the fifth technical report discusses the usage of math terms associated with the game of slots, as found in the reviewed sample.

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

In this paper we develop a theory of Bosbach and Riečan states on non-trivial Hilbert algebras.

We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.

For Martin Heidegger the "fall" of philosophy into metaphysics begins with Plato. Thus, the relationship between the two philosophers is crucial to an understanding of Heidegger--and, perhaps, even to the whole plausibility of postmodern critiques of metaphysics. It is also, as the essays in this volume attest, highly complex, and possibly founded on a questionable understanding of Plato. As editors Catalin Partenie and Tom Rockmore remark, a simple way to describe Heidegger's reading of Plato might be to say that (...) what began as an attempt to appropriate Plato (and through him a large portion of Western philosophy) finally ended in an estrangement from both Plato and Western philosophy. The authors of this volume consider Heidegger's thought in relation to Plato before and after the " Kehre " or turn. In doing so, they take up various central issues in Heidegger's Being and Time (1927) and thereafter, and the questions of hermeneutics, truth, and language. The result is a subtle and multifaceted reinterpretation of Heidegger's position in the tradition of philosophy, and of Plato's role in determining that position. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)